//
//  binop.h
//  ltlbmc
//
//  Created by GD Huang on 5/22/12.
//  Copyright (c) 2012 __MyCompanyName__. All rights reserved.
//

#ifndef ltlbmc_binop_h
#define ltlbmc_binop_h

namespace cilast {
    
    enum binop {
        PlusA,
        PlusPI,
        IndexPI,
        MinusA,
        MinusPI,
        MinusPP,
        Mult,
        Div,
        Mod,
        Shiftlt,
        Shiftrt,
        Lt,
        Gt,
        Le,
        Ge,
        Eq,
        Ne,
        BAnd,
        BXor,
        BOr,
        LAnd,
        LOr
        
    };
}

#endif
